1. A Concise Introduction to Mathematical Logic
پدیدآورنده : by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. Descriptive set theory /
پدیدآورنده : Yiannis N. Moschovakis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Descriptive set theory.,Ensembles, Théorie des.,Descriptive set theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Verzamelingen (wiskunde)
رده :
QA248
.
M66
1980eb
3. Recursive aspects of descriptive set theory /
پدیدآورنده : Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Descriptive set theory.,Recursion theory.,Descriptive set theory.,Deskriptive Mengenlehre.,Deskriptive Mengenlehre.,Recursie.,Recursion theory.,Rekursionstheorie.,Rekursionstheorie.,Verzamelingen (wiskunde)
رده :
QA248
.
M284
1985
